More from this Author

Reasoning in Simple Type Theory

by Christoph Benzmueller (Editor), Chad E. Brown (Editor), Jörg Siekmann (Editor)